$\forall$$w$:World, $e$:E. FairFifo $\Rightarrow$ ($\uparrow$rcv?($e$)) $\Rightarrow$ (loc(sender($e$)) = source(link($e$)) $\in$ Id)